1

Expressiveness of concept expressions in first-order description logics

Year:
1999
Language:
english
File:
PDF, 1.72 MB
english, 1999
2

Bisimulations for Temporal Logic

Year:
1997
Language:
english
File:
PDF, 228 KB
english, 1997
3

Categorial Inference and Modal Logic

Year:
1998
Language:
english
File:
PDF, 97 KB
english, 1998
5

Talking about Explicit Databases in Categorial Grammar

Year:
1995
Language:
english
File:
PDF, 588 KB
english, 1995
6

Simulating without Negation

Year:
1997
Language:
english
File:
PDF, 1.07 MB
english, 1997